#include<stdio.h>
void main(){
	int a=1;
	while(a<=10000){
		if(a%7==0){
			printf("%d\n",a);
		}
		a++;
	}
}
